Skip to content

Touch ups for #384 and #385#387

Merged
ralphbean merged 4 commits intomainfrom
touch-ups
Oct 28, 2025
Merged

Touch ups for #384 and #385#387
ralphbean merged 4 commits intomainfrom
touch-ups

Conversation

@webbnh
Copy link
Copy Markdown
Collaborator

@webbnh webbnh commented Oct 24, 2025

Looking into something else, I noticed a couple of nits introduced by my previous PRs.

The doc addition in #384 renders with an undesired line break and incorrect indentation. This PR corrects the formatting in the documentation source to wrap the lines properly, so that the text will (hopefully) "flow" properly when rendered. It also does the same for a number of other long source lines (and, it adds a missing period and removes an extra space).

The change in #385 left _update_on_close() with an unused parameter. This PR removes that parameter from the function signature and from each of the callers, and it removes the setup for it from the unit tests.

Copy link
Copy Markdown
Member

@ralphbean ralphbean left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks @webbnh!

@ralphbean ralphbean enabled auto-merge (rebase) October 28, 2025 12:04
@ralphbean ralphbean merged commit fb908a3 into main Oct 28, 2025
6 checks passed
@ralphbean ralphbean deleted the touch-ups branch October 28, 2025 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants